Computational complexity theory - PDFSEARCH.IO - Document Search Engine

Computational complexity theory
Results: 2049

#	Item
971	On the Complexity of Existential Positive Queries HUBIE CHEN, Universidad del Pa´ıs Vasco and IKERBASQUE We systematically investigate the complexity of model checking the existential positive fragment of firstorder lo Add to Reading List Source URL: tocl.acm.org Language: English - Date: 2013-09-23 12:22:15 Finite model theory Model theory Parameterized complexity Analysis of algorithms Structural complexity theory FO First-order logic SO Polynomial hierarchy Theoretical computer science Computational complexity theory Applied mathematics
972	Reducing Truth-telling Online Mechanisms to Online Optimization Baruch Awerbuch Yossi Azar Add to Reading List Source URL: www.cs.jhu.edu Language: English - Date: 2007-10-09 11:16:16 Analysis of algorithms Online algorithms Probabilistic complexity theory Randomized algorithm Competitive analysis Algorithm Time complexity Reduction Auction algorithm Theoretical computer science Computational complexity theory Applied mathematics
973	IS IT REALLY ZERO? CHEE K. YAP Algebra is generous, she often gives more than is asked of her. — Jean Le Rond d’Alembart[removed]The history of the zero recognition problem is somewhat confused by the fact that man Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2007-03-05 17:40:23 Number Transcendental number Polynomial Transcendence theory Algorithm Floating point Real number Computational complexity theory Algebra Mathematics Mathematical logic Group theory
974	CS 155: Homework 1 Douglas Lanman [removed] 14 September[removed]Problem 1 Add to Reading List Source URL: mesh.brown.edu Language: English - Date: 2006-09-14 16:47:07 Applied mathematics Independence Probability space PP Randomized algorithm Probability theory Theoretical computer science Computational complexity theory
975	Upper and Lower Bounds on the Cost of a Map-Reduce Computation ∗ Foto N. Afrati† , Anish Das Sarma] , Semih Salihoglu‡ , Jeffrey D. Ullman‡ National Technical University of Athens, ] Google Research, ‡ Stanford Add to Reading List Source URL: www.vldb.org Language: English - Date: 2013-04-25 03:37:48 Quantum complexity theory Distributed computing architecture MapReduce Parallel computing Computational complexity theory PP Coding theory Algorithm Function Mathematics Theoretical computer science Applied mathematics
976	Two Lectures on Advanced Topics in Computability Oded Goldreich Department of Computer Science Weizmann Institute of Science Rehovot, Israel. [removed] Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2014-06-22 06:25:17 Complexity classes Computability theory Quantum complexity theory Descriptive complexity Kolmogorov complexity PP FO Function NP Theoretical computer science Computational complexity theory Applied mathematics
977	1 Complexity of Real Approximation: Brent Revisited Chee Yap Courant Institute of Mathematical Sciences Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2013-02-22 12:21:24 Theory of computation Hypercomputation Models of computation Computational complexity theory Computability Stephen Smale Algorithm Real computation Complexity Theoretical computer science Mathematics Science
978	A Framework for Interactive Proof David Aspinall1 , Christoph L¨ uth2 , and Daniel Winterstein1 1 2 Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2007-10-25 09:31:45 Cryptographic protocols Computational complexity theory Interactive proof system Proof assistant Coq IP Isabelle ACL2 Emacs Software Theoretical computer science Automated theorem proving
979	November 5, [removed]:43 WSPC/Trim Size: 9in x 6in for Review Volume Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2008-11-05 16:58:57 Computing Floating point Numerical analysis Machine epsilon Algorithm Computational complexity theory Arbitrary-precision arithmetic Precision Real number Computer arithmetic Mathematics Applied mathematics